-
1 bounded quantification
Большой англо-русский и русско-английский словарь > bounded quantification
-
2 bounded quantification
Математика: ограниченная квантификацияУниверсальный англо-русский словарь > bounded quantification
-
3 bounded quantification
English-Russian scientific dictionary > bounded quantification
-
4 bounded
1) граничить
2) ограниченный
3) ограниченно
4) разграниченный
5) связанный ∙ absolutely bounded form ≈ абсолютно ограниченная форма absolutely bounded function ≈ ограниченная по абсолютной величине функция absolutely bounded matrix ≈ абсолютно ограниченная матрица algebra of bounded representation type ≈ алгебра с ограниченными степенями представлений algebra of linearly bounded degree ≈ алгебра линейно ограниченной степени almost bounded function ≈ функция, ограниченная почти всюду bounded above function ≈ ограниченная сверху функция bounded above operator ≈ ограниченый сверху оператор bounded above subset ≈ ограниченное сверху подмножество bounded below function ≈ ограниченная снизу функция bounded below operator ≈ ограниченный снизу оператор bounded below subset ≈ ограниченное снизу подмножество bounded closed interval ≈ ограниченный замкнутый интервал bounded distance decoding ≈ декодирование с ограниченным расстоянием bounded from one side ≈ полуограниченный bounded open interval ≈ ограниченный открытый интервал bounded partial quotient ≈ ограниченное неполное частное bounded pure subgroup ≈ ограниченная сервантная подгруппа bounded random variable ≈ ограниченная случайная величина bounded universal hypothesis ≈ ограниченная универсальная гипотеза bounded variable technique ≈ метод ограниченной переменной collectively bounded set ≈ ограниченное в совокупности множество completely bounded set ≈ вполне ограниченное множество completely bounded space ≈ вполне органическое пространство completely bounded statistic ≈ вполне ограниченная статистика derivative of bounded variation ≈ производная с ограниченной вариацией doubly bounded quantifier ≈ ограниченный с двух сторон квантор essentially bounded function ≈ существенно ограниченная функция essentially bounded random variable ≈ существенно ограниченная случайная величина essentially bounded sequence ≈ существенно ограниченная последовательность explicitly bounded function ≈ явно ограниченная функция finitely bounded germ ≈ конечно ограниченный росток function of bounded characteristic ≈ функция с ограниченной характеристикой function of bounded type ≈ функция ограниченного вида function of bounded variation ≈ функция с ограниченным изменением linearly bounded automaton ≈ линейно ориентированный автомат linearly bounded set ≈ линейно ограниченное множество locally bounded curvature ≈ локально ограниченная кривизна locally bounded density ≈ локально ограниченная плотность locally bounded function ≈ локально ограниченная функция locally bounded game ≈ локально ограниченная игра locally bounded space ≈ локально ограниченное пространство metrically bounded functional ≈ метрически ограниченный функционал metrically bounded set ≈ метрически ограниченное множество nontangentially bounded function ≈ нетангенциально ограниченная функция nontangentially bounded integral ≈ некасательно ограниченный интеграл order bounded functional ≈ ограниченный по упорядоченности функционал pointwise bounded function ≈ точечно ограниченная функция polynomially bounded function ≈ полиномиально ограниченная функция process with bounded aftereffect ≈ процесс с ограниченным последействием progressively bounded graph ≈ прогрессивно ограниченный граф recursively bounded quantifier ≈ рекурсивно ограниченный квантор regressively bounded graph ≈ регрессивно ограниченный граф relatively bounded form ≈ относительно ограниченная форма sequentially bounded net ≈ последовательно ограниченная сеть simply bounded subset ≈ поточечно ограниченное подмножество smoothly bounded region ≈ гладко ограниченная область stochastically bounded sequence ≈ стохастически ограниченная последовательность strictly bounded set ≈ строго ограниченное множество strongly bounded set ≈ сильно ограниченное множество strongly bounded space ≈ сильно ограниченное пространство theor of semigroups of linear bounded operators ≈ теория полугрупп линейных ограниченных операторов topology of bounded convergence ≈ топология ограниченной сходимости totally bounded measure ≈ вполне ограниченная мера totally bounded set ≈ вполне ограниченное множество totally bounded space ≈ вполне ограниченное пространство totally bounded subset ≈ вполне ограниченное подмножество totally bounded uniformity ≈ вполне ограниченная равномерность uniformly bounded convergence ≈ равномерно ограниченная сходимость uniformly bounded curvature ≈ равномерно ограниченная кривизна uniformly bounded error ≈ равномерно ограниченная ошибка uniformly bounded family ≈ равномерно ограниченное семейство uniformly bounded function ≈ равномерно ограниченная функция uniformly bounded kernel ≈ равномерно ограниченное ядро uniformly bounded sequence ≈ равномерно ограниченная последовательность uniformly bounded series ≈ равномерно ограниченный ряд uniformly bounded set ≈ равномерно ограниченное множество uniformly bounded variation ≈ равномерно ограниченная вариация weakly bounded set ≈ слабо ограниченное множество weakly bounded subset ≈ слабо ограниченное подмножество - almost bounded - bounded above - bounded acceptor - bounded accuracy - bounded adele - bounded aggregate - bounded approximation - bounded automaton - bounded axonometry - bounded below - bounded characteristic - bounded collection - bounded compactness - bounded completeness - bounded continuum - bounded convergence - bounded curvature - bounded decomposition - bounded deficiency - bounded degree - bounded derivation - bounded derivative - bounded deviation - bounded difference - bounded distribution - bounded domain - bounded duality - bounded extension - bounded field - bounded flow - bounded form - bounded frontier - bounded function - bounded functional - bounded group - bounded homomorphism - bounded index - bounded integral - bounded integrand - bounded intersection - bounded invertibility - bounded kernel - bounded language - bounded lattice - bounded mapping - bounded martingale - bounded matrix - bounded measure - bounded metric - bounded module - bounded monotonicity - bounded morphism - bounded motion - bounded network - bounded norm - bounded operator - bounded order - bounded path - bounded polyhedron - bounded potential - bounded predicate - bounded problem - bounded product - bounded projection - bounded quality - bounded quantification - bounded quantifier - bounded quantity - bounded quotient - bounded region - bounded representation - bounded retract - bounded semigroup - bounded sequence - bounded series - bounded set - bounded solution - bounded space - bounded spectrum - bounded spline - bounded string - bounded subset - bounded subtraction - bounded sum - bounded summand - bounded support - bounded term - bounded topology - bounded transformation - bounded utility - bounded variance - bounded variation - bounded varying - bounded vector - essentially bounded - explicitly bounded - exponentially bounded - power bounded - uniformly bounded - weakly bounded (математика) ограниченный -
5 quantification
2) квантование• -
6 ограниченная квантификация
Большой англо-русский и русско-английский словарь > ограниченная квантификация
См. также в других словарях:
Non-standard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha … Wikipedia
Transfer principle — In mathematics, the transfer principle is a concept in Abraham Robinson s non standard analysis of the hyperreal numbers. It states that any sentence expressible in a certain formal language that is true of real numbers is also true of hyperreal… … Wikipedia
Kripke–Platek set theory with urelements — The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements that is considerably weaker than the familiar system ZF. PreliminariesThe usual way of stating the axioms presumes a two sorted first order… … Wikipedia
Polymorphism (computer science) — This article is about the programming language theory concepts with direct application to functional programming languages. For a gentler introduction of these notions as commonly implemented in object oriented programming, see Polymorphism in… … Wikipedia
Arithmetical hierarchy — In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene hierarchy classifies certain sets based on the complexity of formulas that define them. Any set that receives a classification is called arithmetical. The… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
